Genome Informatics 16(2): 237–A Space-Efficient Algorithm for the Constrained Pairwise Sequence Alignment Problem

Source URL: www.jsbi.org

• Computational phylogenetics
• Mathematics
• Bioinformatics
• Applied mathematics
• Mathematical optimization
• Operations research
• Systems science
• Markov models
• Dynamic programming
• Multiple sequence alignment
• Sequence alignment
• Minimum spanning tree

Consistent Shape Maps via Semidefinite Programming∗ Qi-Xing Huang and Leonidas Guibas Computer Science Department, Stanford University, Stanford, CA October 15, 2013 Abstract

Source URL: geometry.stanford.edu

• Operations research
• Mathematical optimization
• Matrix theory
• Real algebraic geometry
• Linear algebra
• Matrix
• Semidefinite programming
• Linear programming
• Convex function
• Eigenvalues and eigenvectors
• Distance matrix
• Matrix completion

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l

Source URL: www.andrew.cmu.edu

• Logic
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• FO
• Constructible universe
• Normal distribution

Mathematical Programming manuscript No. (will be inserted by the editor) Validation Analysis of Mirror Descent Stochastic Approximation Method Guanghui Lan · Arkadi Nemirovski · Alexander Shapiro

Source URL: www.ise.ufl.edu

Chair of Software Engineering Robotics Programming Laboratory Bertrand Meyer Jiwon Shin

Source URL: se.inf.ethz.ch

• Statistics
• Robot control
• Probability
• Mathematical analysis
• Estimation theory
• Linear filters
• Computational statistics
• Kalman filter
• Conditional probability
• Joint probability distribution
• Particle filter

Decision Tree Construction using Greedy Algorithms and Dynamic Programming – Comparative Study Abdulaziz Alkhalid, Igor Chikalov, and Mikhail Moshkov Mathematical and Computer Sciences & Engineering Division King Abdul

Source URL: csp2011.mimuw.edu.pl

Constraint-Based Allocation of Cloud Resources to Maximize Mission Effectiveness Mark Boddy∗ Adventium Labs 111 Third Avenue South, Suite 100 Minneapolis, MNUSA

Source URL: www.adventiumlabs.com

• Mathematical optimization
• Economy
• Business
• Operations research
• Computer algebra systems
• Mathematical modeling
• Mathematics
• Information technology management
• Constraint satisfaction
• AMPL
• Linear programming
• Constraint

Uncertainty Feature Optimization: an Implicit Paradigm for Problems with Noisy Data Niklaus Eggenberg, Transport and Mobility Laboratory, EPFL Matteo Salani, Transport and Mobility Laboratory, EPFL Michel Bierlaire, Tran

Source URL: www.strc.ch

• Mathematical optimization
• Operations research
• Mathematical analysis
• Analysis
• Applied mathematics
• Stochastic programming
• Robust optimization
• Multi-objective optimization
• Constraint
• Linear programming
• Optimization problem
• Scenario optimization

The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA.

Source URL: openwall.info

• Theoretical computer science
• Formal methods
• Computer science
• Software engineering
• Logic in computer science
• Dependently typed programming
• Proof assistants
• Proof-carrying code
• Formal verification
• Mathematical proof
• CurryHoward correspondence
• Algorithm

The Capacity of String-Replication Systems Farzad Farnoud (Hassanzadeh) Moshe Schwartz Jehoshua Bruck

Source URL: paradise.caltech.edu

• Mathematics
• Mathematical analysis
• Integer sequences
• Probability theory
• Automated theorem proving
• Logic programming
• Logical truth
• Substitution
• Automatic sequence